Optimal location of water level sensors for monitoring mine water inrush based on the set covering model | Synapse