Edinburgh Research Explorer Agency in embodied music interaction