RealPage in its $10.2 billion acquisition by Thoma Bravo