Anyone who thinks opera singers and orchestral players are overworked should spare a thought for the Mariinsky Opera on its…