Recurrent Equilibrium Networks: Flexible Dynamic Models with Guaranteed Stability and Robustness