坝坡稳定计算的总应力法和有效应力法的推导验证