Specificity of a protein–protein interface: Local dynamics direct substrate recognition of effector caspases