Stability and mixing of a two-layer exchange flow