Contact Plan Design for GNSS Constellations: A Case Study with Optical Inter-Satellite Links