Designing a VR Lobby for Remote Opera Social Experiences