Magnitude of a vector