Control invariant set enhanced reinforcement learning for process control: improved sampling efficiency and guaranteed stability