Solution-Space-based ATC support for 4DT heterogeneous aircraft-mix control