Rendering Non-Euclidean Space in Virtual Reality Using Portals