买方不履行合同义务时，卖方可以选择的补救方法包括（）。