Shale gas drilling