What is a good, free way to scale a large batch of images down? They are of different sizes with the same aspect ratio. The target size is all going to be the same dimensions.