Test simple models of satellite data: IRM

[emilyfertig]

Import the satellite data to cxx/assets. Write a schema file for it that observes only the Perigee_km column and one that observes all columns. These should probably be Model 5 PClean-style schemas with noiseless observations of the C*/Record table, which will be the only latent table. (Note that this model should not infer views; it should test the IRM special case of HIRM.)

Write unit tests to check the following invariants (4.2.2 of the Overleaf):

• Single column: the number of unique clusters is greater or equal to 3
• Multiple columns: in the learned model, P[Class of Orbit = 'GEO' | Period minutes = 1440] = x (need to confirm x
  in the data, should be close to 1)