Static Evaluation of Noninterference using Approximate Model Counting