En-Route Flight Planning: A Mathematical Modeling Approach for Operating Cost Minimization, Dynamic Speed Control and Mid-air Collision Avoidance