Using Game Engines and Machine Learning to Create Synthetic Satellite Imagery for a Tabletop Verification Exercise.