Định dạng tệp tin âm thanh nào sau đây sử dụng phương pháp nén tổn hao, giúp giảm dung lượng đáng kể và phổ biến cho nhạc số?