Converting Decimal Integer to Binary in Python