An investigation into empirical ice density formulations for dry ice growth on cylinders