operation and maintenance manuals for cone mining mills