Mineração 4.0: Big Data e Internet das Coisas vão aumentar a eficiência e diminuir impactos na mineração, diz painelista do e-Mineração 2023