A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes