Định dạng tệp tin video nào sau đây thường được sử dụng phổ biến cho web vì khả năng nén tốt và hỗ trợ stream hóa?