An optimization model for electric vehicle charging infrastructure planning considering queuing behavior with finite queue length. (June 2020)