Royalties pagos pelo petróleo chegam a R$ 13 bi