Compositional Synthesis Via Convex Optimization Of Assume-Guarantee Contracts