Federal workers are required to get vaccinated