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