Invia SMS: Using the Generalized Assignment Problem in Scheduling the Rosat Space Telescope