Refining Neural Network Predictions for Helical Transmembrane Proteins by Dynamic Programming