如图,在矩形ABCD中,E是边AB的中点,DF⊥CE,垂足为F,AD=8,AB=4,求DF的长