Home Beer Horizon Air, alone among airlines, can’t fly with faulty collision alert system — a matter of contention at the FAA