jOOQ vs MyBatis | What are the differences?