Chinese doctors use 3D printed part in skull surgery