“Mining is the slowest industry to adapt to new technology.”