Enagás se hace con un 13% del mercado de gas Mibgas