כיצד אלגוריתם הבנקאי קובע אם המערכת נמצאת במצב בטוח?