Invariant Extended Kalman Filtering for Pedestrian Deep-Inertial Odometry