Artificial intelligence composes opera libretto