Optimally Relaxing Partial-Order Plans with MaxSAT