Design of spectrally shaped binary sequences via randomized convex relaxations