After the Human Genome Project, how many genes were encoded on the mitochondrial genome?