Statically Inferring Usage Bounds for Infrastructure as Code