Mining: It's hard work.