Robust MPC of constrained discrete-time nonlinear systems based on approximated reachable sets