AlignKT: Explicitly Modeling Knowledge State for Knowledge Tracing with Ideal State Alignment