El ICO duplica sus créditos en el primer semestre, hasta los 20.500 millones