The automated ticket machines in the Tokyo subway