Zaslat SMS: Distribution of losses from large terrorist attacks under the Terrorism Risk Insurance Act