Procurement management using option contracts: random spot price and the portfolio effect | Synapse