Contextual Reserve Price Optimization in Auctions via Mixed-Integer Programming