根据《联合国国际货物买卖合同公约》，当买方违反合同时，卖方可享有的救济方法包括哪些( )。