Paying down debt vs. investing: How to decide