Was the name "Geppetto" created (and copyrighted) specifically for the Pinnochio tale? or is it simply an Italian name?