Loại tệp tin nào thường được sử dụng để lưu trữ âm thanh với chất lượng cao và ít nén, thường dùng trong sản xuất âm nhạc chuyên nghiệp?