Paying house off vs inflation