Integrity-constrained Factor Graph Optimization for GNSS Positioning