如图，⊙O与Rt△ABC的斜边AB相切于点D，与直角边AC相交于E、F两点，连结DE，已知∠B=30°，⊙O的半径为12，弧DE的长度为4π．