Miniera, storia delle lampade per la discesa nel sottosuolo