Gravar-mail: What can 35 years and over 700,000 measurements tell us about noise exposure in the mining industry?