How long is carmen opera