Interval-Based Dynamic Discretization Discovery for Solving the Continuous-Time Service Network Design Problem