A BIM objects library for information exchange in public works: the use of proprietary and open formats