Failure Probability of Verifiable Goal-based Control Programs due to State Estimation Uncertainty