An operational model for liquefied natural gas spot and arbitrage sales