Visiting-Time-Shortening Framework Considering Pareto Optimality in Theme Park Problem