What is the magnitude of a vector?