What was the top marginal federal tax rate for individuals in 1955?