Studies of the Martian atmospheric boundary layer and global circulation from combined use of spacecraft data and numerical circulation models