Spectral Efficiency of Time-Frequency-Packed Nonlinear Satellite Systems