What to know about Elon Musk’s $12.5 billion margin loan