ARG: How AWS Service Teams use Automated Reasoning for Security