tuxedo origins