Taxation, Incomplete Markets, and Social Security