Spanish opera ‘Carmen’ comes to Bogota