Constrained time-optimal control for nonlinear systems: a fast explicit approximation