Thoma Bravo Acquires Ping Identity for $2.8 Billion