Measuring properties of point defects by electron microscopy: The Ga vacancy in GaAs.