Multi-Epoch Kriging-Based 3D Mapping-Aided GNSS and Doppler Measurement Fusion using Factor Graph Optimization