Writing REST APIs with OpenAPI and Swagger Ada