Explicit Mathematical Formulation and Coverage Consistency of Satellite Constellation Designs for Repeating Ground Track Orbits | Synapse