Global energy minima of molecular clusters computed in polynomial time with semidefinite programming.