如图,在梯形ABCD中,AB平行于DC,CD=8,AB=12,E、F分别是AC、BD的中点,求EF的长