Antenna Diversity for DVB-S2 Mobile Services in Railway Environments