Mayor names veteran Anderson Metro's full-time chief of police