historia de los molinos de bola en la mineria