In rectangle $ABCD$, $\overline{AB}=20$ and $\overline{BC}=10$. Let $E$ be a point on $\overline{CD}$ such that $\angle CBE=15^\circ$. Find the length of $\overline{AE}$.

Let's think step by step and output the final answer within \boxed{}.
user