En Route Air Traffic Controllers' Use of Flight Progress Strips: A Graph-Theoretic Analysis