The meta-theory of dependent type theories