Hays Travel buys Thomas Cook