Musk will lead the Department of Government Efficiency alongside Vivek Ramaswamy