在矩形ABCD中,AB=8,AD=6,EF为对角线BD的垂直平分线,则EF的长为多少