GCM Simulations of Northern Summer Dust Storms Observed by the Phoenix LIDAR