stone mills museum operation and maintenance of ball mill