如图，点C在以AB为直径的半圆上，AB=8，∠CBA=30°，点D在线段AB上运动，点E与点D关于AC对称，DF⊥DE于点D，并交EC的延长线于点F．则线段EF的最小值为．