Enviar Registro por Correo electrónico: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol