The stationary wealth distribution under progressive taxation