On the structure of graph edge designs that optimize the algebraic connectivity