Approximation theory for 1-Lipschitz ResNets