Zip Files with PHP: How it works