Incremental Time Models And Reformulations Of Integer Programs