WavTokenizer: an Efficient Acoustic Discrete Codec Tokenizer for Audio Language Modeling | Synapse