Speeding up Floyd-Steinberg dithering: an optimization exercise