A 9,500-year-old skull gets a 3D makeover