7 things to know about the new members in the Florida Inventors Hall of Fame