President Biden sets masking requirements for 4 million federal workers