Audio file formats: What they are and why they matter to your music listening