length of a vector