Technologies and Applications of Immersive Generative Design (IGD): Towards a Formal Research Agenda