A Compact Model of Interface-Type Memristors Linking Physical and Device Properties