how to sum the digits of a number in python