Question 13In the figure, $ABCD$ is a square of side length 2, $O$ is the midpoint of $AD$, and $EF$ is tangent to the semicircle with diameter $AD$ at $M$. Find $EF$.