Representing spatial technology diffusion in an energy system optimization model