Florida police: 7-year-old arrested for punching teacher