Scalable Computation of Robust Control Invariant Sets of Nonlinear Systems