Writing RESTful web services with Flask