A spectral load model for pedestrian excitation including vertical human-structure interaction