what is the dimension of a vector space