modulus of complex numbers properties