Audio Codecs: What They Are and Why They Matter