A shutdown – but not for government: how US federal employees provide vital services