High-resolution seismic monitoring of instrumented buildings using model-based state observers