Ping Identity to be Acquired by Thoma Bravo for $2.8 Billion