二元减法运算函数