Theoretical formulation and analysis of the deterministic dendritic cell algorithm