Contention resolution and channel estimation in satellite random access channels