Modelling He I–He II phase transformation in long channels containing superconductors