Fractional composition and evolution of residual oil from coal of Early Permian Shanxi Formation (P1s), Ordos Basin (China)