20180820 city.delhi: New Delhi: How paper tickets saved the day on metro's opening