Polytopic outer approximations of semialgebraic sets