Invariant integration over the orthogonal group