What Twitter has done in banning Trump