Psi-calculi: a framework for mobile processes with nominal data and logic