Genetic stratigraphy, coal occurrence, and regional cross section of the Williams Fork Formation, Mesaverde Group, Piceance Basin, northwestern Colorado