MCTS-SQL: An Effective Framework for Text-to-SQL with Monte Carlo Tree Search