The Turtle Dove — Vaughan Williams; Holst Singers, Stephen Layton, Ian Bostridge, Michael George