Evaluating Conformance Measures in Process Mining using Conformance Propositions (Extended version)