如图，在梯形ABCD中，AD∥BC，∠B=90°，∠C=45°，AD=1，BC=4， E为AB中点，EF∥DC交BC于点F， 求EF的长