Log-linear Error State Model Derivation without Approximation for INS