Tokyo är världens folkrikaste stad, hur många invånare hade staden 2023?