When did elon musk become the richest man in the world