Velocity scaling of high-speed turbulent boundary layer flows with wall heat transfer