An Overview of Prediction and Control of Air Flow in Acid-Generating Waste Rock Dumps