Trump says he will tap Musk to lead government efficiency commission if elected