La programmazione stocastica nell'ALM per le compagnie di assicurazione