Modeling astatine production in liquid lead-bismuth spallation targets