A Decomposition Scheme for System Optimal Dynamic Traffic Assignment Models