Q&A: Mike Peterson to be inducted in Florida hall of fame