Masques, Mayings and Music-Dramas: Vaughan Williams and the Early Twentieth-Century Stage