Trump says he wants Elon Musk to lead proposed government efficiency commission