An Exact Occlusion Culling Method for Navigation in Virtual Architectural Environments