Covent Garden, The Orchestra of the Royal Opera House