Hydrogen detectors for mine battery-charging stations