Modeling a GNSS Satellite Constellation