Brazil judge seizes $3 million from Musk to pay X fines