GNSS/Map Integration with Batch Factor Graph Optimization for Reliable Trajectory Estimation in Urban Canyon