Inductive Sets and Families in Martin-L{\\\"o}f's Type Theory and their Set-Theoretic Semantics