4D BIM-Based Augmented Reality Navigation System for Tower Crane Operation