A Mixed-Integer Memetic Algorithm Applied to Batch Process Optimization