Distributed Satellite Resource Allocation Mechanism Based on Contract Theory