How the $1.8 billion Realtors lawsuit could reshape Florida’s housing market