Models of Type Theory Based on Moore Paths