How we built the Moscow metro