VirtualDive - a VR-based educational virtual environment | IEEE Conference Publication | IEEE Xplore