Shanahan: DoD's JEDI is a 'pathfinder' for future DoD cloud computing contracts