Online Synthesis Of Speculative Building Information Models For Robot Motion Planning