Defensie, KPN en Thales bouwen eigen cloud voor staatsgeheime gegevens