Half factorial domains