Shell's refining margins reached a record high of $42 a barrel