Hydrocarbons produced by the thermal alteration of cholesterol under conditions simulating the maturation of sediments