how populous is taipei?