The numbers are in on Harvey’s total impact, and they blow all previous Gulf Coast storms out of the water