How did the XYY syndrome get its name?