过点(0,1)且直线垂直的直线方程为()。