Portland mayor bans use of tear gas by city cops