Completeness for the Complexity Class $\forall \exists \mathbb {R}$ and Area-Universality