python split integer into list of digits