OHL se deja un 7,7% en Bolsa tras vender la mitad de su participación en Abertis