Often discussed in astronomical debates, what is the name of the '13th constellation' that lies along the ecliptic but is not included in traditional 12-sign Western astrology?