Picking the picks for the Texas High School Football Playoffs