Trump appoints Elon Musk to run government efficiency department called Doge