BUCYRUS INTERNATIONAL, INC.