Gaze-Pinch Menu: Performing Multiple Interactions Concurrently in Mixed Reality | IEEE Conference Publication | IEEE Xplore