Title: A serial queuing model for the Navy Advanced Traceability and Control (ATAC) system