What is the average volume of blood in an adult human?