A Theoretical Framework for Soft-Information-Based Synchronization in Iterative (Turbo) Receivers