Disassembly scheduling: Integer programming models