Google launches an open-source version of its differential privacy library