How much should Elon Musk be paid?