## Technology reducing risks for record mining workforce