Tilankujan alueen tietomalleja, Revit ja Solibri Model Chekker ohjelmistot