KKR says plans to buy cybersecurity firm Barracuda from Thoma Bravo, sources say deal worth $4 billion