Modeling ice flow over a `wet base' with a 3D thermo-mechanical higher-order ice-sheet model: examples from the Siple Coast ice streams and Lake Vostok, Antarctica