Text this: Sedimentary environments and coal-forming mechanism of the Jurassic Yanʻan Formation, Huangling mining area, Ordos Basin, China