若买方违约时卖方可以采用的救济方法有（　）。