A THEORETICAL FRAMEWORK FOR SOFT-INFORMATION-BASED SYNCHRONIZATION IN ITERATIVE (TURBO) RECEIVERS