Electron and Ion Transfer across Interfaces of the NASICON-Type LATP Solid Electrolyte with Electrodes in All-Solid-State Batteries: A Density Functional Theory Study via an Explicit Interface Model