The 1972 Summer Olympics were held in the capital of the most populated city where?