The same image resizing process can be done using a free online image optimiser like bulkresizephotos.com.

Here is a magic link already setup with 3000px image width. Simply drag your images in, and it will resize and optimise.