Stress-testing the Banking System: Methodologies and Applications