A Mutation Analysis Based Model Clone Detector Evaluation Framework