What is the greatest common divisor (GCD) of 15 and 25?