Model-based Analysis of Mining Fairness in a Blockchain | Synapse