Method for probabilistic evaluation of post-earthquake functionality of building systems