Mining productivity has always been important. I am sure that the Egyptians or Romans were thinking about it as much as we do these days. However, since numerical data processing came into  ...