The Japanese Abacus: Its Use and Theory