El INSS y el Instituto Social de la Marina contratan servicios informáticos por 63 millones