inzet krijgsmacht bij gewapend conflict