Describir: Model-Based Structural Health Monitoring of Box Girders