Numerical simulations of the decay of Martian global dust storms