The Royal Opera House in the twentieth century