Coal resources of the Castle Rock 1/2° x 1° quadrangle and adjacent area, Colorado