Zipformer: A faster and better encoder for automatic speech recognition