在矩形ABCD中,AD=12,AB=7,DF平分角ADC,AF垂直于EF,求EF长