Turbo Image Compressor has a nice attribute set including compressing JPEGs according to a wished-for file size in Kilobytes, compression high quality slider, shrink by max width or max peak in pixels and batch https://www.hawkping.com/