Orchestra of the Rome Opera House, Coro del Teatro dell'Opera di Roma & Tullio Serafin