What is (or where can I find) an explicit formula for the Haar measure of the group of linear symplectic transformations of $\mathbb{R}^{2n}$?