A comprehensive model for the diffusion and hybridization processes of nucleic acid probes in fluorescence in situ hybridization