Optimal Dimensioning of Handover Buffers in Wireless ATM Networks