python convert string to list of integers