Using Tidymodels to Allocate $16B of Annual Property Taxes