After the property boom, what is a normal real estate market?