如图,四边形ABCD是⊙O的内接矩形,AB=2,BC=4,E是BC的中点,AE的延长线交⊙O于点F,则EF的长是____