FART - Centovalli Railway: analysis and verification of the electric traction system