Current Status and Future Directions in Modeling a Transboundary Aquifer: A Case Study of Hueco Bolson