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