Analysis of Queue-Based Handover Procedures for Mobile Communications