在平面直角坐标系中,已知A(0,4),B(0,1),C(5,3),D(3,5),求四边形ABCD的面积.