Let us assume we are given a polytope in $\mathbb{R}^d$ which is $k$-dimensional. How can we compute its $k$-dimensional volume in Sage?