Brazil oil auctions: they are really, really happening (really)