PHP interface to ImageMagick convert utility