A queue-battery model for electrified traffic flow considering endogenous congestion propagation | Synapse