ConstrainedSQL: Training LLMs for Text2SQL via Constrained Reinforcement Learning