Video File Compressors for Offline, Online, and Mobile Users