Strict n-categories model homotopy types