A history of the Royal Opera House, Covent Garden, 1732-1982