Quantifying spillover risk with an integrated bat-rabies dynamic modeling framework