A cloud‐based service for emergency evacuation of mine water inrush accidents. (10th December 2020)