We finally know how much Elon Musk is spending to elect Donald Trump