Как я могу изменить размер анимированного GIF-файла, используя ImageMagick?