Jack Dorsey: Twitter CEO says Trump ban was right