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