Explain the formulation of Connectionist Temporal Classification (CTC) loss and how it handles alignment between audio frames and text tokens.
