SoK: Static Configuration Analysis in Infrastructure as Code Scripts