From CAD to POMDP: Probabilistic Planning for Robotic Disassembly of End-of-Life Products