In travel tech, 4 rivals merge in Europe to form Altido for property management of Airbnb-style homes