Petrology of the River Gem coal bed, Whitley County, Kentucky