python map list of string to list of int