Bitruncated 8-simplex