Human-in-the-loop Machine Translation with Large Language Model