Number of the day: how much Elon Musk earns