Elon Musk vs Brazil Supreme Court: five things to know