在建矿井在永久排水系统形成之前，各施工区必须设置（）系统，并保证有足够的排水能力。