Automated Techniques for Enabling Efficient MPI Application Migration