Greedy User Grouping for Sum-rate Maximization in Satellite Communications with ZF Precoding