Returns the greatest common divisor (GCD) of two integers a and b
using the Euclidean algorithm.