Diffusion Approximation Models for Cloud Computations with Task Migrations