关于房贷还款问题的建模与求解