A Linear Programming Approach for System-Optimal Dynamic Traffic Assignment in the European Air Traffic Network