Elon Musk deixa governo Trump após campanha de cortes no setor público