Automated Abstractions for Patrolling Security Games