Data-driven Lipschitz-informed convex underestimators for branch-and-bound optimization of black-box functions | Synapse