Permafrost in a changing climate: Formulating the proper lower boundary condition in EC-Earth