Il Pentagono lascia a terra gli F-35: software inaffidabile