Interval Observers for Hybrid Dynamical Systems with Known Jump Times