NYC: 9,000 city employees are now on paid leave for not complying with the city's mandate