Protein Design by Provable Algorithms