National theatre performs new version of Carmen