the history of the vertical roller mills