Robust Pushing: Exploiting Quasi-static Belief Dynamics and Contact-informed Optimization