what is used to grind cementwhat is vanadium used for