Numerical and Hardware-In-the-Loop Tools for the Design of Very High Speed Pantograph-Catenary Systems