how to add binary numbers in python