working definition of vertical roller mill