Computational corroboration of the flow of rock glaciers against borehole measurements