Bisteritruncated 7-simplex