REST API testing with the Karate framework