EARS (Earthquake Alert and Report System): a real time decision support system for earthquake crisis management