cement used in modern stone mill