Zaslat SMS: Mathematical optimization model for remanufacturing scheduling with sequence-dependent setup times