Large-scale semidefinite programs in electronic structure calculation