The bomb that killed Mumcu contained approximately 2.5 kilograms of a specific military-grade plastic explosive containing RDX. What is the common designation for this type of explosive?