Ab initio investigations of dioctahedral interlayer-deficient mica: modelling 1 M polymorphs of illite found within gas shale