Widespread adoption of electrical air conditioning infrastructure enabled 20th-century population and economic growth in the state of Florida