Did They Jump or Were They Pushed? The Exit of Older Men from the London Labor Market, 1929–1931