First-Principles Theory of Atom Extraction by Scanning Tunneling Microscopy | Synapse