Modeling Handover in Satellite Communications