The Laurion shafts, Greece : ventilation systems and mining technology in antiquity.