A Benders Dual Decomposition Approach to Fast-Charging Station Planning Problem | Synapse