What's the average length of human intestines a surgeon may encounter?