Lifetime modelling of lead acid batteries