The city also boasts an efficient network of public transportation, which mainly consists of bus, taxi and metro systems. How many stations are there in total in the Nanjing metro system?