Nonlinear Filtering Techniques for GNSS Data Processing