The effect of tripping devices on a shock wave - boundary layer interaction