python map list of strings to integer list,"s = ['michael', 'michael', 'alice', 'carter']"