SMT-based enforcement and analysis of NATO content-based protection and release policies