Sustainability Analysis of Carbon-Dioxide Sequestration in Depleted Shale Gas Reservoirs Using Data-Driven Analytics and Modeling