Large cation model of dissociative reduction of electrochromic WO3−x films