The official Xinhua news agency says seven other miners are being treated in the hospital for their injuries after what was called a gas " outburst " in the private mine near the city of Dengfeng .