A Global Optimization Algorithm for K-Center Clustering of One Billion Samples