Định dạng tệp nào sau đây thường được sử dụng cho video với khả năng nén cao và hỗ trợ nhiều luồng (stream) dữ liệu?