Procore Technologies is buying DroneDeploy for approximately $845m (£632m) in cash.