Irma recovery by the numbers