DB-Explore: Automated Database Exploration and Instruction Synthesis for Text-to-SQL