Deep coal resources of the Interior Plains, estimated from petroleum borehole data