Deterministic global optimization in ab-initio quantum chemistry