Amazon API Gateway vs RAML | What are the differences?