Supermodularity and valid inequalities for quadratic optimization with indicators | Synapse