Evaluating the Reliability of Defect-Tolerant Architectures for Nanotechnology with Probabilistic Model Checking