向量模有几条性质？请分别简述向量模的性质。