On the triple sum formula for Wigner 9j-symbols