How we built the Moscow metro - Navision