An approximate analytical method for the performance evaluation of semiconductor front-end fabrication with model-based inspection and rework policies in process control