Hydrogen in semiconductors: The roles of μSR and theory