如图,多边形ABCDE是圆O的内接正五边形,对角线BD、CE交于点F,若AB=2,求DF的长