Statistics for A Comparison of the Declarative Modelling Languages B, Dash, and TLA+