Minimum-variance importance-sampling Bernoulli estimator for fast simulation of linear block codes over binary symmetric channels