what is a sand mill used for