Underground WiFi improves productivity in coal mine