Graph-Theoretic Finite-Element Approaches for Traffic Flow Optimization in Kenya: Error Bounds and Validation Studies | Synapse