Allocating synthetic population to a finer spatial scale: An integer quadratic programming formulation. (February 2023)