CoCoMoT: Conformance Checking of Multi-Perspective Processes via SMT (Extended Version)