Federal judge says local police must follow order to halt enforcement of Florida immigration law