How is high-demand or limited-availability surplus property allocated?