High-Reynolds-number wall-modelled large eddy simulations of turbulent pipe flows using explicit and implicit subgrid stress treatments within a spectral element solver