Efficient Preconditioners for PDE-Constrained Optimization Problems with a Multi-level Sequentially Semi-Separable Matrix Structure