A computational model of bilateral credit limits in payment systems and other financial market infrastructures | Synapse