[python] How to split an integer into an array of digits?