an introduction to petroleum refining and the