Efficient Preconditioning of Optimality Systems