The Edinburgh International Festival brings audiences and artists together from all over the world