This article explains more technical details about the compression and export process:How to Make Video Files Smaller and What Software to Use
