如图,已知正方形ABCD的边长为4,折叠正方形ABCD,使顶点C与AB边的中点M重合,求折痕EF的长度