Grupo Barcelo cedes control of Crestline Hotels to AR Capital