Brasil bate recordes em arrecadação de royalties de petróleo e gás