Musk, Ramaswamy vow 'mass head-count reductions' in U.S. government