已知三角形的三个顶点坐标为A(0,4),B(-2,-1),C(3,0),求三角形的面积