Banking Systems Simulation: Theory, Practice, and Application of Modeling Shocks, Losses, and Contagion