Jack Dorsey: Twitter CEO says Trump’s ban was right