history of vertical roller mills