Elon Musk just got $10 billion richer