How well are current translation productivity tools (a.k.a. CAT) integrating with machine translation in terms of user interface and workflow?