Banker algorithm program