Progress in shale gas exploration in China and prospects for future development