Analysis and prediction of the packing of α-helices against a β-sheet in the tertiary structure of globular proteins