Semialgebraic Representation of Monotone Deep Equilibrium Models and Applications to Certification