Permittivity reconstruction and radio-propagation simulations to guide sub-surface radar exploration of ice moons and terrestrial glaciers for the Enceladus Explorer project / Alexander Luke Kyriacou