An experimental study of compressible turbulent boundary layer separation at high Reynolds numbers