The structures of Tb7O12 and Tb11O20