What Twitter CEO Dick Costolo is like as a leader