矿坑充水的水源主要有地下水、（）、大气降水以及老窿水等。