Learning Weighted Finite Automata over the Max-Plus Semiring and its Termination