Using large-scale mathematical programming to construct the U.S. Statistics of Income file