先期抓紧建设国家矿山应急救援队的数量是（）