Shell gains after posting second-highest quarterly profit ever on oil trading windfall