CDC provides updated guidelines on masking for vaccinated people