a system of two stars that revolve around each other under their mutual gravitation