An overview of hydraulic fracturing and other formation stimulation technologies for shale gas production