Handover in digital cellular mobile communication systems