Joe Thomas sets NFL snaps record