Availability of coal resources for mining in Illinois : Atwater, Collinsville, and Nokomis quadrangles, Christian, Macoupin, Madison, Montgomery, and St. Clair Counties