operation and maintenance of stone mining mill