A multi-objective evolutionary algorithm and mathematical model for the dual-resource flexible job-shop scheduling problem with sequencing flexibility