Shell's Singapore refinery sale and its market significance