梯形abcd中,AB//CD,AB=2CD,O为对角线AC的中点,EF过点O且与BD平行,BD=8,求EF的长