Tenth Circuit holds that a claim for overpayment of spousal support is dischargeable under Sec. 523(a)(5) but non-dischargeable under Sec. 523(a)(15)