[2405.01574] On Using Agent-based Modeling and Simulation for Studying Blockchain Systems