MSO definable string transductions and two-way finite state transducers