WSJ's Christopher Mims explains the number crunching that helped him decide whether an electric vehicle, a hybrid or an old, ...