Energy dependence of coherent production of three pions on nuclei between 9 and 15 GeV and comparison with diffractive three-pion production on hydrogen