Automatic documentation for RESTful APIs