Ergonomics Processes: Implementation Guide and Tools for the Mining Industry