BIM–AR Integration in Practice: Opportunities, Challenges, and Trade-Offs from a Live Construction Case Study