Contingent convertible lease modeling and credit risk management