DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking