Investigation into the geodynamics of planetary ice-ocean systems: application to Jupiter's icy moon Europa