在Rt△ABC中,∠C=90°,BC=5,AC=3,EF是斜边AB的垂直平分线,求EF的长