Optimal feedback control of batch reactors with a state inequality constraint and free terminal time