Hypervolume-based expected improvement: Monotonicity properties and exact computation | Synapse