bitwise shift operators in python