What two testable assumptions were the basis for Darwin's hypothesis about the evolution of the Galapagos finches?