Historic Building Information Modeling as an Integrated Approach for the Documentation of Jogi Mohallah, Walled City Lahore, Pakistan