python gcd of two numbers