An oil refinery buys crude oil futures and simultaneously sells refined petroleum product futures.This risk management strategy is called a: