Định dạng tập tin nào thường được sử dụng cho video trên web nhờ khả năng nén hiệu quả và hỗ trợ stream (truyền phát)?