Describir: Optimization of land use decisions using binary integer programming: The case of Hillsborough County, Florida, USA.