煤矿验收程序有哪些