High Ion Conductivity in Garnet-type F-doped Li$lt;inf$gt;7$lt;/inf$gt;La$lt;inf$gt;3$lt;/inf$gt;Zr$lt;inf$gt;2$lt;/inf$gt;O$lt;inf$gt;12$lt;/inf$gt;