A top-down loan-level stress test for banks’ corporate credit risk: Application to risks from commercial real estate markets