This is the second-biggest home price correction of the post-WWII era—it’s also a fairly mild correction