An electrochemical quartz crystal microbalance study of lithium insertion into thin films of tungsten trioxide I. Modeling of the ionic insertion mechanism