que es un molino en termino minero