A computationally efficient Lyapunov-based procedure for control of nonlinear systems with stability and performance guarantees