TinySQL: A Progressive Text-to-SQL Dataset for Mechanistic Interpretability Research