HERTA: A High-Efficiency and Rigorous Training Algorithm for Unfolded Graph Neural Networks