First Steps with AWS CDK: Setup, Synthesis, and Deployment