Jessen's orthogonal icosahedron volume