设立矿山企业的批准文件是哪些文件