Markov models for electric vehicles: the role of battery parameters and charging point frequency