Thermal maturity of the Barnett Shale determined from well-log analysis