Truncated 8-simplex