Semialgebraic Proofs and Efficient Algorithm Design