CAT Tools: Understanding the CAT Tool Market and Choosing a Good CAT Tool