过点(1, -2，3)且平行于z轴的直线的对称式方程是( )。