A methodology to study high-speed pantograph-catenary interaction with realistic contact wire irregularities