已知三角形ABC的顶点坐标为A(-5,2),B(1,2),C(3,-1),则三角形ABC的面积是多少?