Constrained Variational Optimization of Counting-Time Allocation in Sequential Scattering Measurements: Application to Bonse–Hart USANS