Proof-of-Stake Protocols Modelling: A Extensible Framework for Incentives Design