processing crude oil into petroleum.