Amsterdam bans public cannabis smoking in red-light district