Twitter lucra US$ 513 milhões, mas o que interessa é a compra por Elon Musk