Dyna-Think: Synergizing Reasoning, Acting, and World Model Simulation in AI Agents