Bounds on double-diffusive convection