Crime Theory Informed Agent-Based Modeling for Crime Prediction and Patrolling Route Optimization