digital systems in mining