mining ore stone crushing plant definition