User Study for Improving Tools for Bible Translation