Using BIM for the assessment of the seismic performance of educational buildings