Shell nearly doubles quarterly profit year-on-year as refining margins soar to record high