Theory and Practice of RRC State Transitions in UMTS Networks