Herbrand's theorem on ramification groups