Brazil judge withdraws $3.3 million from Musk's Starlink and X to pay for social media fines