stone mill used in mining and construction