Constraint-Guided Learning of Data-driven Health Indicator Models | Synapse