Homotopy theoretic models of identity types