Code of practice for the repair and overhaul of certified electrical apparatus intended for use in mines susceptible to firedamp