San Francisco bans face recognition use by local agencies