Deduplicating software bugs with Machine Learning at Google