Validating Healthcare Robot Behavior Before Deployment with Digital Twins