How Hurricane Maria will be more costly for Puerto Rico than Harvey was for Texas