What is FLAC? The high-def MP3 explained