Semantics for ( multi-criteria ) Shortest Path