Tokyo: in numbers