A Bilevel Stochastic Programming Approach for Retailer Futures Market Trading | Synapse