Protein sequence optimization with a pairwise decomposable penalty for buried unsatisfied hydrogen bonds