magnitude [of a vector]