Relinquishing Riches: Auctions vs Informal Negotiations in Texas Oil and Gas Leasing