Conformance Checking with Constraint Logic Programming: The Case of Feature Models