Computer-aided decision making for regional seismic risk mitigation accounting for limited economic resources