Trump says he would appoint Elon Musk to head government efficiency commission