python convert string to list of ints