A finite strain electro-chemo-mechanical theory for ion transport with application to binary solid electrolytes. (April 2019)