Theatre Sound Design, Interactivity, and Music