Soundness of the Box-translation