Trump names Musk, Ramaswamy to lead Department of Government Efficiency