Initial state QED corrections to W-pair production at LEP2/NLC — Monte Carlo versus semi-analytical approach☆