SteinerSQL: Graph-Guided Mathematical Reasoning for Text-to-SQL Generation