Formalizing Information for Disassembly Potenttial of Buildings Using BIM and Labeled Property Graphs