Analytical formulae and applications of vertical dynamic responses for railway vehicles