DART-Math: Difficulty-Aware Rejection Tuning for Mathematical Problem-Solving