Physically consistent predictive reduced-order modeling by enhancing Operator Inference with state constraints