The Fibonacci numbers were first introduced in Fibonacci's book, "Liber abaci" in a question to find the population of an animal at a particular time. What animal did he use?