VRMenuDesigner: A toolkit for automatically generating and modifying VR menus | IEEE Conference Publication | IEEE Xplore