在梯形ABCD中,AD平行BC,AD=4,BC=8,E、F分别是对角线BD、AC的中点,求EF的长