D.R. Horton (DHI) Rises Yet Lags Behind Market: Some Facts Worth Knowing