Text this: Why miners' portable electric lamps require safety devices.