Quantifying Spillover Risk with an Integrated Bat-Rabies Dynamic Modeling Framework