Verifying conventional force reductions in Europe CFE I and beyond