São exemplos de softwares utilizados pela indústria da mineração e que são aplicados à lavra de minas, exceto: