How Leidos and the Air Force are building for a software-defined world