4,000 Google cafeteria workers quietly unionized during the pandemic