What is the population of Moscow?

• about 20 million people
• 8 million people
• over 12,5 million people