在△ABC,∠A=90°,AD⊥BC,P为AD中点,BP交AC于E,EF⊥BC于F,AE=3,EC=12,求EF的长