A model-based analysis method for detection of single-base substitution using resequencing microarrays