Pošalji zapis e-poštom: Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol