Cross-Sectional Scanning Tunneling Microscopy of Mn-Doped GaAs: Theory and Experiment