买方不履行合同义务，卖方可选择的救济方法有（）。