Musk is far and away the world's richest man.