Eduardo Paes is the mayor of Rio de Janeiro, a sprawling, complicated, beautiful city of 6.5 million. He shares four big ideas about leading Rio — and all cities — into the future, including bold (and do-able) infrastructure upgrades and how to make a city "smarter."