Exportaciones mineras sumaron US$9.852 millones en primer trimestre de 2018