CO2 foam pilot in salt creek field, natrona county,WY: Phase I: Laboratory work, reservoir simulation, and initial design