How possible it is that the legends and traditions of Irish "little people" originated after the "Celts" migrating from mainland Europe came in contact with another shorter population already living there?