Steve Ballmer says he began buying up Twitter before he knew Jack Dorsey would become CEO