过点P(1,2)且与直线x+y+1=0垂直的直线方程