DEEPSEC Deciding Equivalence Properties in Security Protocols Theory and Practice