Elon Musk just publicized the names of government employees he wants to cut. It’s terrifying federal workers