Disassembly task planning for end-of-life automotive traction batteries based on ontology and partial destructive rules