how to use AWS CDK