An Automator plug-in to compress JPEG images