Linear Programming Approach for Optimization of Radionuclide Loading in Vitrified HLW