Tritruncated 7-simplex