Many-Objective-Optimized Semi-Automated Robotic Disassembly Sequences