State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems with Unobservable Transitions