Techint compró una empresa de servicios mineros en Chile