Tokenization and the Noiseless Channel