Variation in pyrite size, form, and microlithotype association in the springfield (no. 9) and herrin (no. 11) coals, Western Kentucky