Membrane profile-based probabilistic method for predicting transmembrane segments via multiple protein sequence alignment