试述《国际货物销售合同公约》关于买方违反合同时卖方可以采取的各种救济方法的规定。