Approximate KKT points and a proximity measure for termination