N.Y.C. will bring 80,000 municipal workers back to the office.