Diamonds for Security: A Non-Interleaving Operational Semantics for the Applied Pi-Calculus