Thermal convection in subsurface oceans with variable thickness: Application to Enceladus.