Florida’s housing market looks shaky. Orlando tells a more complicated story