Taxing congestion of the space commons