First records of Gastrotricha from South Africa, with description of a new species of Halichaetonotus (Chaetonotida, Chaetonotidae)