Elon Musk has taken over the US Office of Personnel Management