Dimensioning Handover Buffers in Wireless ATM Networks with GSPN Models