BIM系列软件在建筑碰撞检查时的应用