Hybrid RANS-LES modeling of high-speed shock turbulent boundary layer interactions