Open-Source Factor Graph Optimization Package for GNSS: Examples and Applications