Procedural knowledge and declarative learning as macroergonomic resources for enhancing lean mining sustainability.