Florida hurricanes and tropical storms, 1871-1993: An historical survey (Technical paper)