Allocation of satellite spectrum