Skull of a 5,300-year-old mummy: reproduction and investigation with CT-guided stereolithography.