空间四边形ABCD中,AD=1,BC=根号3,AD与BC的夹角为60°,EF分别为AB,CD的的中点,求EF长