Opendoor is acquiring part of Doma, a property technology company that uses machine learning and AI to make real estate closings faster and more affordable, the companies told CNBC exclusively.