¿Qué empresas invirtieron US$699 millones en exploración minera el 2022?